Effect Capabilities for Haskell
نویسندگان
چکیده
منابع مشابه
Effect capabilities for Haskell: Taming effect interference in monadic programming
Article history: Received 13 March 2015 Received in revised form 19 November 2015 Accepted 22 November 2015 Available online 28 November 2015
متن کاملEvaluating Haskell in Haskell
There are several Haskell interpreters, such as Hugs and GHCi, but none (as far I’m aware) are implemented in Haskell. For performance reasons, C appears to be the implementation language of choice. This article presents a simple Haskell interpreter – called the Haskell Haskell interpreter, or hhi for short – that is written in Haskell and that performs quite competitively with Hugs and GHCi. T...
متن کاملQStream: A Suite of Streams
We present a simple tool in Haskell, QStream, implementing the technique of coinductive counting by making use of Haskell’s builtin coinduction capabilities. We furthermore provide a number of useful tools for stream exploration, including a number of pretty print functions and integration with the Online Encyclopedia of Integer Sequences.
متن کاملStructuring quantum effects: superoperators as arrows
We show that the model of quantum computation based on density matrices and superoperators can be decomposed in a pure classical (functional) part and an effectful part modeling probabilities and measurement. The effectful part can be modeled using a generalization of monads called arrows. We express the resulting executable model of quantum computing in the programming language Haskell using i...
متن کاملBuilding .NET GUIs for Haskell applications
.NET is an emerging Microsoft’s project which promotes a new framework for Software Development emphasizing the use of Internet resources and the interaction between components written in different programming languages. Whereas functional programming languages such as Haskell are well-suited for developing tools to analyze, verify and transform programs, typical Haskell compilers do not provid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014